As discussed in this thread, I aim to add a front case fan and replace the top case fan in my XPS 8930 to reduce the noise currently made when the computer labors hard, in particular, exporting photographs from my raw developer/editor, DxO Photolab 3.

For the front fan, I've ordered a Noctua NF-S12A  and a used Aurora R5 fan and front bracket from the big auction site. With tax, the bracket cost me $8.85.

I've had difficulty, however, finding a bracket for the top case fan. Is it 

• OEM Dell XPS 8910 8920 8930 4-pin Case Fan W/ Mount Bracket 13P1-5YN0811 VM20H,offered used at $29.03 (before tax)?
• Or, 7M0F5 Dell Alienware Aurora R5 XPS 8910 8920 Top Case Cooling Fan, offered used at $23.98 (before tax)?
• Or, New Dell XPS 8910 8920 Alienware Aurora R5 Top Cooling Case Fan 7M0F5 X64T5, offered new at $27.41? 
• Or, something else altogether?