Did Stolen Fannie Mae Money Allow David Gregory and His Wife to Buy A $5.45 Milliion House?

How much stolen money from Fannie Mae did David Gregory and his wife Beth Wilkinson get to buy a $5.45 Million house?