Ice Machine Out of Commission on Dock One

It must be the middle of summer. We have an ice machine down.  This one is pretty serious, the repair guy says we should consider whether to put $845 into a 20-year-old machine. There's no telling whether that would get us going for another couple of years or just another couple of weeks...

While we figure out whether to repair or replace, please get ice from the clubhouse or the Dock Two machine.

Thanks

we