Here is an LIRC control file with the results of learning from the BENQ remote. All codes that do something using the remote work the same under lirc. There are no discrepancies between these codes and the codes from the service manual, although there are some ambiguities as to which command the name on the remote key should correspond to. I sent this file to the address below.

# Please make this file available to others
# by sending it to <[email protected]>
#
# this config file was automatically generated
# using lirc-0.9.0(usb_uirt_raw) on Thu Feb 5 03:20:20 2015
# and then edited
#
# contributed by Peter F. Patel-Schneider
#
# brand: BENQ
# model no. of remote control: BENQ PROJECTOR
#with discrete on/off, no other identification
# devices being controlled by this remote: BENQ W1070
# all codes that do something on the remote do the same thing here
#

begin remote

name BENQ_W1070
bits 16
flags SPACE_ENC
eps 30
aeps 100
header 8763 4336
one 512 1600
zero 512 500
ptrail 512
pre_data_bits 16
pre_data 0xC
gap 44900
toggle_bit_mask 0x0

begin codes
ON 0xF20D
OFF 0x728D
HDMI-1 0x1AE5
WIRELESS 0x619E
PC 0x827D
HDMI-2 0x9A65
VIDEO 0x4AB5
COMP 0x8A75
MENU_EXIT 0xF00F
UP 0xD02F
AUTO 0x10EF
LEFT 0xB04F
MODE_ENTER 0x08F7
RIGHT 0x708F
ECOBLANK 0xE01F
DOWN 0x30CF
SOURCE 0x20DF
ASPECT 0xC837
PIP 0xD827
SRS 0x9966
USER1 0xAE51
USER2 0x6E91
USER3 0xEE11
CONTRAST 0x8877
BRIGHT 0x6897
SHARP 0x7E81
COLOR 0x9E61
COLOR_TEMP 0xFA05
TINT0x5EA1
FINE_TUNE 0xBA45
3D 0xB14E
INVERT 0xB946
MUTE 0x28D7
FREEZE 0xC03F
TEST 0x29D6
end codes
end remote