To those who setup and take down every time you use your boat what kind of air pump do you use? I currently use a 12volt intro air mattress pump That pumps up my mariner 4 to about 80% then use the manual pump that came with my mariner to top it off. Its a good setup since I don't have to do much pumping bit looking into upgrading this upcoming summer. I was looking at the air head pump which is about $40 on amazon.