IMPORTANT UPDATE: SLIGHT CHANGE IN ENDING TIME to 11 a.m. EST, Dec 17 The auction will actually end tomorrow at 11 a.m. EST, or 8:00 a.m. PST. My student is defending his thesis tomorrow, and I have to push my schedule up a bit to accomodate this. Sorry, gentlemen. I should have known this earlier. Cheers, Fok.