Your PS is correct. Keep track of the days you go in on your work calendar and then at the beginning of the new year ask HR for a letter indicating how many in-office days you had. You won’t need to send the letter in at the time but you should have it in your files in the event you get audited. You don’t want to get a couple years down the line and then suddenly be scrambling for verification, which your HR will not have.