It turns out that spilling tea on a laptop is not the worst thing :-)