Guy wins 4k with royal flush on video poker machine