Know this site is mostly about tractors. But looking for any assistance on finding the year and model of a JD gator my son has. The only numbers we could find are on the engine decals. It’s a 2 x4 with dump bed. Thanks to anyone that might know. Pics attached