Perhaps the easier way of finding this out is to identify which model of SSD was used with that revision on Mini and from that you should then be able to find the answer you're looking for.
I have a 2012 mini with Apple SSD. It is based on the Samsung PM830.
I am getting around 450 read and 400 write. Random 4k seems better than the stock PM830 though.
I also have a mini with Samsung EVO installed. It is getting over 500 read and
450 write. Random 4k is double that of the Apple drive, so it feels much faster.