Tipping in hotels is entirely at your discretion, you can tip at the end of your stay when the tip will be divided equally among staff or tip individual staff whose service you appreciate. A reasonable tip for the porter is around SR12, housekeeping SR10.