Hi folks,I posted this question in another thread about the WMJ40SCE (mini jumbo), which I just purchased. What, if any, is the difference between body/style of the mini jumbo, the baby jumbo and a grand auditorium?Thanks,Steve