Yep, A38 is the belt size that's listed in the current Rover manuals at any decent mower shop.

Mine runs sweet.