If you’re of millennial age or older (or if you’ve seen a certain comedy-horror film now in theaters), you’re likely already familiar with the “year 2000 problem,” better known by the moniker Y2K.