I don't think either of those two AmigaKit A1200 offerings have changed in months. Both have been T.B.A for quite some time.
And for anyone wondering, their refurbed A1200's when they did have them were extremely high quality and looked borderline mint/new.
Hopefully they are able to source some from Petro as I think they would be the best way to obtain these units. I would rather buy one from Amigakit with some markup in them then deal with Petro directly. Nothing against Petro, just from a business standpoint with regards to warranty and shipping issues its easier to deal with a business.