They have a 5.0 but it isn’t pushrod, it’s ohc, it’s in the parnelli jones, and certain saleen models and even the steeda mustangs(which are awesome and no one knows about them) plus ford has had a 5.0 crate “cammer” DOHC motor for quite a few years.