I do not have the manual and contacted Gravely directly as they bought out Great Dane years ago... and they could not help me.
Looking for someone who has the manual or the knowledge on what drive belt is used for the GDRZ22KHE.... found the 25 all over the place... just not the 22.
Could be...
