You are correct, not allowed. If you pack it the ship electrician will take it and give it back at end of cruise. You could try to carry it on but if they find it they will not hold it.I thought you were not allowed to bring coffee makers on board. If it is not one of the restricted items then next time I will pack our mini-drip pot or buy a travel Keurig to take with us.