If I was being picky.....not OG paint - don't like full bulkhead units as prefer walk through...too high and no upgrade to the stock motor, also non Servo/Disk year model (got to love a 1971 - well, it's a close run thing with that or a 68 tintop! )
Though there is no denying it's a fantastic bus! Is $13,000 US top dollar? Certainly seems so if you take into account shipping and the exchange rate! For that price you could have your pick of many top UK buses