Yeah, I have no doubt the weights are real, the gear probably added #100-150 to the squat, also #800 for 2 would be around 825-850ish for a single for most lifters, totally believable for a man his size. It jives with other lifters numbers, for instance Kirk Karwoski was a low mid 800's raw squat, could do #905 for 5 at a similar weight and similar gear as Ronnie, and could hit a #1000 x 2 (1003lbs was his official meet squat) -
.
So, yes, totally believable gym lift.
.