I believe modern buses have ceiling heights between 5'11" & 6'7", from the factory. I've been wrong alot, but maybe the seller meant 7'2" after the 9" raise?
Center of factory ceiling, 6'7" to the bottom of the rib, no raise.
6'3" below this wood fur strip.
These photos are of higher resolution, more legible, in my Registry file↖.
All of our windows are 30" tall (driver's too) and the front door is also taller than the standard height door (e-door too). Distinguishing the interior ceiling height, from photos, proved difficult.
Most 'high-roof' models have a shorter driver window & entry door, than the passenger windows.
Look for a big forehead.