Frase, much of what you mention is common these days.
The internet pricing and speed is typical for all cruise lines. RCI also has the extra tip line on their receipts. I've never felt a need to add it, but I guess I can see how some might feel compelled. Laundromats...well, not all cruise lines have those either. In fact most do not.