Hi Robert
i'd of thought tyre pressures would be checked as a matter of course
and for the pressures to be corrected where needed,
tyre pressures are so important for the following :-
fuel economy, handling, braking ,maintaining the correct
tyre operating temperature, ride comfort ,tyre wear
and im sure there are more that i havent thought of.
so yes in my opinion they should of been checked.