Since it appears [@Oliver] isn't going to respond anytime soon, should I go ahead and post?

Edit: Scratch that. Post tomorrow, maybe? I dunno. It is Thanksgiving.