I'll check mine today but I'm pretty sure those are original. Does the owner have the "upper air baffle" that is missing in the pic?
It is part #22 here.
https://www.cubcadet.com/en_US/conte...dbd83f0a2709/y
That is a must have on 3k machines or you will have hot air recirculating and cooking the engine.