My Lenovo came with a ~270MB EFI partition. OS X still doesn't like it much (Verify complains about not having an EFI partition) but I was still able to install.
I think you're right about the size.
I did a default install of Win81. It created the ~300MB Recovery partition, ~100MB EFI, 128MB MSR, and main partition in the remainder. Of course this config causes problems for OS X as it evidently demands a larger EFI partition. After installing Windows, I decided to see if I could fix it.
Since the Recovery partition is not really needed, I sacrificed it.
Goes something like this (from memory):
- boot Windows installer USB
- Shift+F10 for recovery command line
- type: diskpart
- type: list disk (verify disk 0)
- type: select disk 0
- type: list part (you should see the four partitions)
- type: select part 2 (part 2 is 99/100 EFI part)
- type: assign
- type: list vol (to find out the drive letter assigned to EFI/main volume, in my case E: and C: respectively)
- Shift+F10 for another command prompt
- type: robocopy e:\efi c:\efi.bak /mir
- switch back to original command prompt (the one running diskpart)
- type: select part 1
- type: delete part override
- type: select part 2
- type: delete part override
- type: create part efi size=200 (could be bigger)
- type: format quick fs=fat32 label="EFI"
- type: assign
- type: list vol (to find out new drive letter, in my case F: )
- switch back to other command prompt window (the one just running cmd)
- type: robocopy c:\efi.bak f:\EFI /mir
- type: exit
- switch to original command prompt (the one running diskpart)
- type: exit
- type: exit
- Alt+F4 at the Windows installer to quit
At this point, verify that Windows still boots... It should. And after it does, you should now be able to use diskmgmt.msc to resize the Windows partition, create placeholder partition(s) for OS X, and boot into the OS X installer/Disk Utility to erase as HFS+J.
If you wanted to retain the Recovery partition, you could probably clone it and place it after the main partition (assuming Windows isn't dependent on the position and only the partition GUID). The clone would have to be a perfect copy, including the GUID partition type.
Not exactly a process for noobs...