Pokekoki or Koki ?
Well, DZ's guide says there's no action performed if a Spy enters a Naval Yard Facility. As I think DZ looked deeply in the code (TLB/EXE ?), good chances are it remains true even if the spy succeeds in entering one.
In other words, I never tested it
