The dimensions of the Plus Fan roof fan from RV Innotec