How long ago is "a while back"?
If it was a red notchie last season, it may have been ours. Wouldn't be us this year though--haven't had the 85 out yet.
P.s. If you're comfortable with electronics you can build one for a lot less than $80 US. In its simplest form, each side is nothing more than two cascading r/c timers and a couple of relays.