Strange. They should be able to tell you. Their database should show exactly what your machine is made of. Exmark makes running changes to their machines, not waiting for a new model year to change problem parts and make upgrades to their machines, so it's always necessary to look up machines by serial number for parts purposes.
Sounds like you have a plan though so I guess it doesn't matter at this point.