I'm helping a friend get his 801.8 back in service after it sat in storage for several years. The serial number plate is missing, and we're trying to order replacement parts, but the shop can't find any records. I spotted some numbers stamped on the chassis and turret, but I'm not sure which one is the official serial. Any tips on where else it might be located?