I have a 2015 Gravely ZT 42. I purchased the mulch kit from gravely that is absolutely worthless because they don't make mulching blades. My clippings are just like they came out of the shoot. Anyway, Gator says they don't make a replacement blade for the ZT 42 which is 14 7/8" long, but they do make a blade that fits the ZT 42 XL which is 14 1/2" long and it looks like the pitch and bend is a little different. Whadda you think? Will they work?