13:36:17 Trixie Beldin nitpicks - I don't know who Trixie Beldin is of course, clearly one of these US things.