Just for info for those renting out their HDB, only Service work permit holder allows renting your HDB.

Their work permit number indicate whether they are Service or Manufacturing.