The sale of tobacco products in vending machines is prohibited in or around Federal property occupied and maintained by the Railroad Retirement Board.