Beautiful! Yes, 100% those cranks. The listing only included two small pics, but I can tell they are the same cranks from the markings. The seller said they would include a set of new Real chainrings with them.
If you need a copy of the listing for your records/provenance, just let me know.