to add one more small detail, I think the early ABS1 disks are the same as the std. its only the ABS2 disks that are smaller.
regarding your luck comment, I found a used pair several years ago, but they're not all that easy to come by. I think EBC makes replacements that aren't as crazy expensive as the OEM disks if you have to go that way as a last resort.