hi guys, was just woundering if a 10" round tip up will work with a 8" hole? or does the hole need to be 10."