not sure where you get your numbers from but a 4094 is rated at 800hp and is 67mm. it is also not a very well matched turbocharger. a 42r spools up just as fast and makes way more power. it was just made for the k series in sfwd.
imo K.I.S.S. drop in replacement turbos. theyre capable of 750+whp reliable, cost effective, and no need for new downpipe, charge piping etc.
cossey we can get the same spec turbo as the gt2835r which is actually a Garrett gt3071r in a t28 housing and likely a lot cheaper than HKS sells them for. the only thing im not sure on is the compressor housings, if the HKS gt2835r has one that is a direct fit with the skyline or not. i dont think it is. i still think gt28rs’ are a better choice, but set a power goal and go from there though.