Looks like @denh hasn't received any replies!