I think both are 9500 HS. I really can't remember whats on the buggy. It may be an older 9000.
I really just want it hard wired in because there are no great places in the buggy to keep the remote. But, that's good info for someone who can make better use of the wireless system.