I don't think he's ever played it in his career to date. Like most modern managers 4-2-3-1 and 4-3-3 (i.e. with or without a #10) are his two primary formations.
Not really, 4231 is looking jaded and out of sync with modern football nowadays. Look at the WC England are playing it and look like they are picking up tactics/formations left behind 4 years ago while the rest of the world has moved on.