If it mattered, Bad Pickleball filmed it.