I would much rather have less sleep + a 15-20 minute nap in the evening than no nap and an extra 45 minutes sleep at night. Luckily at 7pm it's not hard to take a power nap at the office in the conference room on a bean bag chair. I wish most offices made it easier for people to take naps as it's proven productivity would rise.