Sorry about the tardy response.
You should be able to use the GCEX or GCEXXL. Check the picture at the top right of this page:
Your mower outlet should look like this. If not, the GCTOSU or GCTOSU would fit. Call me if you have any questions. List prices on these are $359.00 and $499.00 for the XL size.