I know this an old post, but I'm thinking about the Tiger Shark (and others). Curious if the "5 micron" filter is really that much worse than "2 micron" on many others. How does that compare to a DE filter, and does it really matter?
edit: Think I've decided on the SharkVac XL. YouTube video looks good (don't they all). Seems to do waterline well. Easy to clean filters. $50 rebate brings it at or under $700. Yell if you have any negative comments about it.