They had to tune it lower than the last-hurrah Falcon GT, which they left at something like 470/420 or 549/479 on overboost.
(I think some magazine dyno’d 467/531)
Cheers.