[racket] naughty dog & irrational games

Anyone know whether Naughty Dog used Racket or other Lisp-descended 
language in development of their new game, "The Last of Us"?

(For anyone not exposed to video game industry news, this game is highly 
acclaimed, and has lots of buzz right now: 
"http://en.wikipedia.org/wiki/The_Last_of_Us#Reception".)

Or, for that matter, anyone know whether anything Lispy was used in 
development of Irrational Games's also recent, highly-acclaimed game, 
"Bioshock: Infinite"?

Neil V.