I don't have any cards in hand; however, I've seen Josh Naylor and Triston McKenzie in sealed packs on eBay.
Unfortunately, I don't know what the card numbers are. 1 and 3 maybe? Those are the only ones missing from the list you provided.
Hope this helps.
My eBay store.- Be sure to check it out!
FOR SALE/TRADE: View my profile for details! If there's a certain player you want, ask me about them, I'll probably have a card of their's that I'm willing to trade but haven't marked on my FS/T list. For more specific info, visit profile or message me.