Hi all, I recently purchased a Dolphin DX5 which, of course, comes with a caddy for storage when not in use. As I need to keep this on my patio, and I'm not fortunate enough to have a pool house/shed, was wondering if anyone has suggestions on a cover that might fit. I've looked at several lawnmower and power/pressure washer covers, however, they are either just too small or way too big. Wondering if anyone has any suggestions? Thanks!