@gdp Interesting. What time was this?