Hm. I see we are now arguing/debating whether “Die Hard” is a Christmas movie, or not. I thought that was settled back when “Die Hard 2” came out.